Learn English free online - how to pronounce word in English - English Learning Online- www.pronounceword.com






Mathematical Logic
  • 英语发声
  • 美语发声
  • [数] 数理逻辑
  • 网络释义

    1、[数]数理逻辑
    数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
    2、数字逻辑
    ... First-order logic一阶谓词演算或一阶逻辑 Mathematical Logic数字逻辑 combinational logic组合逻辑 ...
    3、数学逻辑
    简介数学逻辑(Mathematical logic)是与数学基础,理论..

    短语

    Mathematical Marketing Logic数字逻辑

    mathematical logicsymbolic logic数理逻辑

    mathematical and logic model逻辑数理型

    Archive for Mathematical Logic数理逻辑档案

    Elementary Mathematical Logic数理逻辑入门

    Elements of Mathematical Logic数理逻辑基础

    Fundamentals of mathematical logic数学逻辑基础

    Mathematical logic and foundations数理逻辑与基础

    专业释义

    数学
    • 数理逻辑

      Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.

      经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。

      参考来源 - 经典命题演算的能行方法研究
      数学逻辑
      数字逻辑
    电子、通信与自动控制技术
    • 数理逻辑
    计算机科学技术
    • 数学逻辑
    哲学
    • 数理逻辑

    英英释义

    Mathematical Logic

    n.any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

    同义词:symbolic logicformal logic




    英汉双解大词典

    mathematical logic

    • 1.  

      N(名词) symbolic logic, esp that branch concerned with the foundations of mathematics 数理逻辑